All attributes have atomistic values.
All non-identifiers attributes depends of identifiers.
All attributes depends of identifiers by a functional dependency.
If an identifier is made of severall attributes, the attribute musn't depends of any other entity (Boyce-codd normal form).
